Category:意味論 (論理学)

Brain in a vat

Recursive definition

Domain of discourse

Game semantics

Declarative knowledge

Circular definition

Mereology

Tautology (logic)

Sense and reference

Truth table

Intension